Nuprl Definition : any def 9,38

any is Primitive 
latex


origin